package dpll.clauses;

import java.util.List;

import dpll.ast.IASTNode;
import dpll.ast.NodoBiCondicion;
import dpll.ast.NodoBooleano;
import dpll.ast.NodoCondicion;
import dpll.ast.NodoConjuncion;
import dpll.ast.NodoDisyuncion;
import dpll.ast.NodoFormula;
import dpll.ast.NodoFormulas;
import dpll.ast.NodoLiteral;
import dpll.ast.NodoNegacion;
import dpll.ast.NodoParentesis;
import dpll.ast.NodoTerminoFinal;
import dpll.fnc.IVisitor;

public class ClauseVisitor implements IVisitor<List<List<String>>> {
	
	private boolean cambio = false;

	@Override
	public List<List<String>> visit(IASTNode node) {
		// TODO Auto-generated method stub
		return null;
	}

	@Override
	public List<List<String>> visitFormulas(NodoFormulas node) {
		// TODO Auto-generated method stub
		return null;
	}

	@Override
	public List<List<String>> visitFormula(NodoFormula node) {
		// TODO Auto-generated method stub
		return null;
	}

	@Override
	public List<List<String>> visitParentesis(NodoParentesis node) {
		// TODO Auto-generated method stub
		return null;
	}

	@Override
	public List<List<String>> visitNegacion(NodoNegacion node) {
		// TODO Auto-generated method stub
		return null;
	}

	@Override
	public List<List<String>> visitConjuncion(NodoConjuncion node) {
		// TODO Auto-generated method stub
		return null;
	}

	@Override
	public List<List<String>> visitDisyuncion(NodoDisyuncion node) {
		// TODO Auto-generated method stub
		return null;
	}

	@Override
	public List<List<String>> visitCondicion(NodoCondicion node) {
		// TODO Auto-generated method stub
		return null;
	}

	@Override
	public List<List<String>> visitBiCondicion(NodoBiCondicion node) {
		// TODO Auto-generated method stub
		return null;
	}

	@Override
	public List<List<String>> visitTerminoFinal(NodoTerminoFinal node) {
		// TODO Auto-generated method stub
		return null;
	}

	@Override
	public List<List<String>> visitBooleano(NodoBooleano node) {
		// TODO Auto-generated method stub
		return null;
	}

	@Override
	public List<List<String>> visitLiteral(NodoLiteral node) {
		
		// TODO Auto-generated method stub
		return null;
	}

	@Override
	public boolean isCambio() {
		return cambio;
	}

	@Override
	public void setCambio(boolean cambio) {
		this.cambio = cambio;
	}



}
